• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Website (236)
    • Article (131)
    • Book (10)
    • Miscellaneous (5)
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5 6 7 8 9...20 Hits 81 – 100 of 382 81 An Architecture for the Semantic Processing of Natural Language Input to a Policy Workbench Custy, E. J. In: DTIC AND NTIS (2003) BASE Show details 82 Exercising a Native Intelligence Metric on an Autonomous On-Road Driving System Horst, John A. In: DTIC (2003) BASE Show details 83 M.P.: Flexible protocol specification and execution: Applying event calculus planning using commitments Pınar Yolum; Munindar P. Singh In: http://www.cmpe.boun.edu.tr/courses/cmpe593/spring2006/reading/p273-yolum.pdf (2002) Abstract: Protocols represent the allowed interactions among communicat-ing agents. Protocols are essential in applications such as elec-tronic commerce where it is necessary to constrain the behaviors of autonomous agents. Traditional approaches, which model proto-cols in terms of action sequences, limit the flexibility of the agents in executing the protocols. By contrast, we develop an approach for specifying protocols in which we capture the content of the ac-tions through agents ’ commitments to one another. We formalize commitments in a variant of the event calculus. We provide opera-tions and reasoning rules to capture the evolution of commitments through the agents ’ actions. Using these rules in addition to the basic event calculus axioms enables agents to reason about their actions explicitly to flexibly accommodate the exceptions and op-portunities that arise at run time. This reasoning is implemented using an event calculus planner that helps us determine flexible ex-ecution paths that respect the protocol specifications. Keyword: Categories and Subject Descriptors I.2.11 [Artificial Intelligence; commitments; D.2.2 [Software Engineering; Design Tools and Techniques General Terms Design; Distributed Artificial Intelligence; methodologies and tools; Verification Keywords Agent communication languages and protocols URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.517.6611 http://www.cmpe.boun.edu.tr/courses/cmpe593/spring2006/reading/p273-yolum.pdf BASE Hide details 84 Sketching for Knowledge Capture: A Progress Report Forbus, Kenneth D.; Usher, Jeffrey In: DTIC (2002) BASE Show details 85 Entwurf und Erprobung eines software-gestützten Verfahrens zur Anwendung software-ergonomischer Methoden in den frühen Phasen der Anwendungsentwicklung Schlegel, Thomas. - : Stuttgart, Germany, Universität Stuttgart, 2002 In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-1985/DIP-1985.pdf (2002) BASE Show details 86 The Architecture of TrueViz: A Groundtruth/Metadata Editing and Visualizing Toolkit Lee, Chang Ha; Kanungo, Tapas In: DTIC (2001) BASE Show details 87 Generic description of a software document environment Toleman, Mark; Carrington, David; Cook, Phil. - 2001 BASE Show details 88 Incremental parsing in language-based editors: user needs and how to meet them Cook, Phil; Welsh, Jim. - : John Wiley & Sons, 2001 BASE Show details 89 Nomadic Radio: Speech Audio Interaction for Contextual Messaging in Nomadic Environments Nitin Sawhney; Chris Schmandt In: http://www.media.mit.edu/~nitin/NomadicRadio/tochi/tochi2000.ps (2000) BASE Show details 90 Nomadic Radio: Speech Audio Interaction for Contextual Messaging in Nomadic Environments Nitin Sawhney; Chris Schmandt In: http://www.media.mit.edu/~nitin/projects/NomadicRadio/tochi/tochi99.ps (2000) BASE Show details 91 Automatic Verification of Multiagent Conversations Lacey, Timothy; DeLoach, Scott A. In: DTIC (2000) BASE Show details 92 Generalized Aliasing as a Basis for Program Analysis Tools O'Callahan, Robert In: DTIC (2000) BASE Show details 93 Semantic Interoperability on the Web Heflin, Jeff; Hendler, James In: DTIC AND NTIS (2000) BASE Show details 94 Linguistic Assistant for Domain Analysis (LIDA) Korelsky, Tanya; Lavoie, Benoit; Overmyer, Scott In: DTIC AND NTIS (2000) BASE Show details 95 A Platform for Multilingual Research in Spoken Dialogue Systems Cole, Ronald A.; Serridge, Ben; Hasom, John-Paul... In: DTIC (2000) BASE Show details 96 Toward Formalizing Structured Analysis Luciano Baresi; Politecnico Di Milano In: http://home.deib.polimi.it/baresi/papers/TOSEM.pdf (1998) BASE Show details 97 A Graphical Environment for the Design of Concurrent Real-Time Systems L. E. Moser; Y. S. Ramakrishna; G. Kutty... In: http://lsi.ugr.es/~mcapel/docencia/doctorado/seguro/TL_artl/moserRamaKuttyMelliarDillon97.pdf (1997) BASE Show details 98 Applying the SCR Requirements Specification Method to Practical Systems: A Case Study Bharadwaj, Ramesh; Heitmeyer, Connie In: DTIC (1996) BASE Show details 99 An Evolutionary Perspective of Software Engineering Research Through Co-Word Analysis. Coulter, Neal; Monarch, Ira; Konda, Suresh... In: DTIC AND NTIS (1996) BASE Show details 100 Integrating design and development in the production of multimedia documents Morris, S.; Finkelstein, A. In: In: 1996 International Workshop on Multimedia Software Development (MMSD '96). (pp. pp. 98-107). IEEE Computer Society Press (1996) (1996) BASE Show details Page: 1 2 3 4 5 6 7 8 9...20

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 236 Journal directory 0 Database directory 11 Dictionary directory 0 Open access documents BASE 146 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0